($\lambda$$a$,$n$,$z$. $a$ rem $n$) $\in$ $\mathbb{N}\rightarrow\mathbb{N}^{+}\rightarrow$($\downarrow$True)$\rightarrow\mathbb{N}$